Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
41	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
42	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
43	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
44	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
45	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
46	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
47	A Substructural Type System for Delimited Continuations? Oleg Kiselyov1 and Chung-chieh Shan2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-04-21 02:44:20 Type theory Lambda calculus Proof theory Data types Logic in computer science Simply typed lambda calculus Type system Natural deduction Curry–Howard correspondence Software engineering Theoretical computer science Computing
48	Type Preservation as a Confluence Problem∗ Aaron Stump1 , Garrin Kimmell1 , and Roba El Haj Omar1 1 Computer Science The University of Iowa Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-04-26 05:41:58 Mathematics Logic in computer science Formal languages Models of computation Combinatory logic Fixed-point combinator Rewriting Simply typed lambda calculus Overlap Theoretical computer science Applied mathematics Lambda calculus
49	Ralf Hinze Generic Programs and Proofs Bonn, 2000 Fu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:35:28 Declarative programming Data types Functional programming Generic programming Lambda calculus Type system Haskell Polymorphism Simply typed lambda calculus Software engineering Computing Type theory
50	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing